A PTEROPOD ALIAS

George W . Fitzmaurice , Alias Azam Khan , Alias William Buxton , Buxton Design Gordon Kurtenbach , Alias

A Formally-Verified Alias Analysis

This paper reports on the formalization and proof of soundness, using the Coq proof assistant, of an alias analysis: a static analysis that approximates the flow of pointer values. The alias analysis considered is of the points-to kind and is intraprocedural, flow-sensitive, field-sensitive, and untyped. Its soundness proof follows the general style of abstract interpretation. The analysis is d...

Alias Types

Linear type systems allow destructive operations such as object deallocation and imperative updates of functional data structures. These operations and others, such as the ability to reuse memory at different types, are essential in low-level typed languages. However, traditional linear type systems are too restrictive for use in low-level code where it is necessary to exploit pointer aliasing....

230 - 240 Alias SN.pmd

A total of 719 wild rats were captured from four localities representing the west (Kuala Lumpur), east (Kuantan), north (Georgetown) and south (Malacca) to determine the diversity of blood protozoan from the urban wild rat population in peninsular Malaysia. Five rat species were recovered with Rattus rattus diardii being the most dominant species, followed by Rattus norvegicus, Rattus exulans, ...

Alias Analysis with bddbddb

Context-sensitive inclusion-based alias analysis is very precise but also computationally expensive. Whaley and Lam [5] recently proposed an approach based on Binary Decision Diagrams that scales to realistic Java programs. This report summarizes the approach, describes how the tool bddbddb that implements the analysis is used, and discusses how it can be employed to develop derived analyses ba...